K.Rustan M. Leino: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A programming model for concurrent object-oriented programs

Jacobs, Bart, Piessens, Frank, Smans, Jan, Leino, K. Rustan M., Schulte, Wolfram

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 1.04 MB

english, 2008

2

[ACM Press the ACM SIGPLAN 2002 Conference - Berlin, Germany (2002.06.17-2002.06.19)] Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02 - Extended static checking for Java

Flanagan, Cormac, Leino, K. Rustan M., Lillibridge, Mark, Nelson, Greg, Saxe, James B., Stata, Raymie

Year:

2002

Language:

english

File:

PDF, 252 KB

english, 2002

3

Extended static checking for Java

Flanagan, Cormac, Leino, K. Rustan M., Lillibridge, Mark, Nelson, Greg, Saxe, James B., Stata, Raymie

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 252 KB

english, 2002

4

Accessible Software Verification with Dafny

M. Leino, K. Rustan

Journal:

Year:

2017

Language:

english

File:

PDF, 339 KB

english, 2017

5

Finding stale-value errors in concurrent programs

Michael Burrows, K. Rustan M. Leino

Journal:

Concurrency and Computation: Practice and Experience

Year:

2004

Language:

english

File:

PDF, 135 KB

english, 2004

6

Constructing a program with exceptions

K. Rustan, M. Leino

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 395 KB

english, 1995

7

Inferring Object Invariants: Extended Abstract

Bor-Yuh Evan Chang, K. Rustan, M. Leino

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 250 KB

english, 2005

8

Efficient weakest preconditions

K. Rustan M. Leino

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 104 KB

english, 2005

9

Generating error traces from verification-condition counterexamples

K. Rustan M. Leino, Todd Millstein, James B. Saxe

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 212 KB

english, 2005

10

Annotation inference for modular checkers

Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 94 KB

english, 2001

11

Real estate of names

K.Rustan M. Leino

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 35 KB

english, 2001

12

Virginity: A contribution to the specification of object-oriented software

K.Rustan M. Leino, Raymie Stata

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 70 KB

english, 1999

13

A semantic approach to secure information flow

Rajeev Joshi, K.Rustan M. Leino

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 132 KB

english, 2000

14

Joining specification statements

K.Rustan M. Leino, Rajit Manohar

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.12 MB

english, 1999

15

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, M. Leino, Erik Poll

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 164 KB

english, 2003

16

Conditional composition

Rajit Manohar, K. Rustan, M. Leino

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 779 KB

english, 1995

17

A method for showing progress

K. Rustan M. Leino

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 229 KB

english, 1995

18

Specification and verification challenges for sequential object-oriented programs

Gary T. Leavens, K. Rustan M. Leino, Peter Müller

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 1.91 MB

english, 2007

19

Computing Permutation Encodings

K. Rustan M. Leino

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 127 KB

english, 1999

20

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 1.72 MB

english, 2005

21

Doomed program points

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 684 KB

english, 2010

22

Stepwise refinement of heap-manipulating code in Chalice

Leino, K. Rustan M., Yessenov, Kuat

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 584 KB

english, 2012

23

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6605 ||

Abdulla, Parosh Aziz, Leino, K. Rustan M.

Year:

2011

Language:

english

File:

PDF, 6.13 MB

english, 2011

24

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6605 || CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

Abdulla, Parosh Aziz, Leino, K. Rustan M.

Year:

2011

Language:

english

File:

PDF, 231 KB

english, 2011

25

Tools for software verification

Parosh Aziz Abdulla,K. Rustan M. Leino

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 115 KB

english, 2013

26

[IEEE 2012 2nd Workshop on Developing Tools as Plug-ins (TOPI) - Zurich, Switzerland (2012.06.3-2012.06.3)] 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI) - The EventB2Dafny Rodin plug-in

Catano, Nestor, Leino, K. Rustan M., Rivera, Victor

Year:

2012

Language:

english

File:

PDF, 229 KB

english, 2012

27

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering

Leino, K. Rustan M.

Year:

2008

Language:

english

File:

PDF, 179 KB

english, 2008

28

Data groups

Leino, K. Rustan M.

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 1.15 MB

english, 1998

29

[IEEE Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Koblenz, Germany (2005.09.7-2005.09.9)] Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Invariants on demand

Rustan, K., Leino, M.

Year:

2005

Language:

english

File:

PDF, 79 KB

english, 2005

30

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Developing verified programs with Dafny

Leino, K. Rustan M.

Year:

2013

Language:

english

File:

PDF, 182 KB

english, 2013

31

Specification and verification

Barnett, Mike, Fähndrich, Manuel, Leino, K. Rustan M., Müller, Peter, Schulte, Wolfram, Venter, Herman

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 536 KB

english, 2011

32

Learning to do program verification

Leino, K. Rustan M.

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 78 KB

english, 2010

33

Behavioral interface specification languages

Hatcliff, John, Leavens, Gary T., Leino, K. Rustan M., Müller, Peter, Parkinson, Matthew

Journal:

ACM Computing Surveys

Year:

2012

Language:

english

File:

PDF, 751 KB

english, 2012

34

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Specifying and verifying software

Leino, K. Rustan M.

Year:

2007

Language:

english

File:

PDF, 192 KB

english, 2007

35

[ACM Press the 1st conference - Hyderabad, India (2008.02.19-2008.02.22)] Proceedings of the 1st conference on India software engineering conference - ISEC '08 - Class-local object invariants

Leino, K. Rustan M., Wallenburg, Angela

Year:

2008

Language:

english

File:

PDF, 223 KB

english, 2008

36

Using data groups to specify and check side effects

Leino, K. Rustan M., Poetzsch-Heffter, Arnd, Zhou, Yunhong

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 653 KB

english, 2002

37

Declaring and checking non-null types in an object-oriented language

Fähndrich, Manuel, Leino, K. Rustan M.

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

38

Data abstraction and information hiding

Leino, K. Rustan M., Nelson, Greg

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2002

Language:

english

File:

PDF, 458 KB

english, 2002

39

[ACM Press The 6th ACM SIGPLAN-SIGSOFT workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 - Weakest-precondition of unstructured programs

Barnett, Mike, Leino, K. Rustan M.

Year:

2005

Language:

english

File:

PDF, 119 KB

english, 2005

40

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Reasoning about comprehensions with first-order SMT solvers

Leino, K. Rustan M., Monahan, Rosemary

Year:

2009

Language:

english

File:

PDF, 408 KB

english, 2009

41

[ACM Press the 13th ACM SIGPLAN conference - Vancouver, British Columbia, Canada (1998.10.18-1998.10.22)] Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98 - Data groups

Leino, K. Rustan M.

Year:

1998

Language:

english

File:

PDF, 1.15 MB

english, 1998

42

[ACM Press the ACM SIGPLAN 2002 Conference - Berlin, Germany (2002.06.17-2002.06.19)] Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02 - Using data groups to specify and check side effects

Leino, K. Rustan M., Poetzsch-Heffter, Arnd, Zhou, Yunhong

Year:

2002

Language:

english

File:

PDF, 653 KB

english, 2002

43

[ACM Press the 18th ACM SIGPLAN conference - Anaheim, California, USA (2003.10.26-2003.10.30)] Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03 - Declaring and checking non-null types in an object-oriented language

Fähndrich, Manuel, Leino, K. Rustan M.

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

44

[ACM Press the 2012 ACM conference - Boston, Massachusetts, USA (2012.12.02-2012.12.06)] Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12 - Developing verified programs with Dafny

Leino, K. Rustan M.

Year:

2012

Language:

english

File:

PDF, 363 KB

english, 2012

45

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Program extrapolation with jennisys

Leino, K. Rustan M., Milicevic, Aleksandar

Year:

2012

Language:

english

File:

PDF, 603 KB

english, 2012

46

[ACM Press Addendum to the 2000 proceedings of the conference - Minneapolis, Minnesota, United States (2000..-..)] Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '00 - JML (poster session)

Leavens, Gary T., Ruby, Clyde, Rustan, K., Leino, M., Poll, Erik, Jacobs, Bart

Year:

2000

Language:

english

File:

PDF, 69 KB

english, 2000

47

[ACM Press the 2012 ACM conference - Boston, Massachusetts, USA (2012.12.02-2012.12.06)] Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12 - Program proving using intermediate verification languages (IVLs) like boogie and why3

Leino, K. Rustan M.

Year:

2012

Language:

english

File:

PDF, 366 KB

english, 2012

48

[ACM Press the 13th Workshop - Lancaster, United Kingdom (2011.07.25-2011.07.29)] Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11 - Fractional permissions without the fractions

Heule, Stefan, Leino, K. Rustan M., Müller, Peter, Summers, Alexander J.

Year:

2011

Language:

english

File:

PDF, 244 KB

english, 2011

49

[ACM Press the 3rd annual conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12 - Staged program development

Leino, K. Rustan M.

Year:

2012

Language:

english

File:

PDF, 330 KB

english, 2012

50

[ACM Press the 17th Workshop - Prague, Czech Republic (2015.07.07-2015.07.07)] Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 - Automatic verification of Dafny programs with traits

Ahmadi, Reza, Leino, K. Rustan M., Nummenmaa, Jyrki

Year:

2015

Language:

english

File:

PDF, 75 KB

english, 2015